|
|
|
| Anonymous User (login or join us) | Upload |
)
(375.8 M)Ogg Video
(381.1 M)512Kb MPEG4
(4.0 G)MPEG1
Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code.
This movie is part of the collection: Community Video
Producer: V.E. Wolfengagen
Audio/Visual: sound, color
Language: Russian
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Creative Commons license: Attribution-Noncommercial-No Derivative Works 3.0
| Movie Files | MPEG1 | Ogg Video | 512Kb MPEG4 |
| Lecture 4/8: Developing the abstract machine in a Category |
4.0 GB
|
375.8 MB
|
381.1 MB
|
| Image Files | Animated GIF | Thumbnail |
| Lecture 4/8: Developing the abstract machine in a Category |
432.8 KB
|
5.0 KB
|
| Information | Format | Size |
| CAM-2006-4_files.xml | Metadata | [file] |
| CAM-2006-4_meta.xml | Metadata | 1.3 KB |
| CAM-2006-4_reviews.xml | Metadata | 171.0 B |